package cz.cuni.mff.d3s.alloy.core

import edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

/**
 * @author Jaroslav Keznikl
 */
trait InstanceSerializer {
	def serializeInstance(): String
}